Nuprl Definition : rev_implies
9,38
postcript
pdf
P
Q
==
Q
P
latex
Definitions
P
Q
,
P
Q
FDL editor aliases
rev_implies
origin
Q == Q 
P Q == Q P Q Q